Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research

Spherical collapse of a heat conducting fluid in higher dimensions without horizon

We consider a scenario where the interior spacetime,described by a heat conducting fluid sphere is matched to a Vaidya metric in higher dimensions.Interestingly we get a class of solutions, where following heat radiation the boundary surface collapses without the appearance of an event horizon at any stage and this happens with reasonable properties of matter field.The non-occurrence of a horizon is due to the fact that the rate of mass loss exactly counterbalanced by the fall of boundary radius.Evidently this poses a counter example to the so-called cosmic censorship hypothesis.Two explicit examples of this class of solutions are also given and it is observed that the rate of collapse is delayed with the introduction of extra dimensions.The work extends to higher dimensions our previous investigation in 4D.Comment: 6 page

Entropy of the Kerr-Sen Black Hole

We study the entropy of Kerr-Sen black hole of heterotic string theory beyond semiclassical approximations. Applying the properties of exact differentials for three variables to the first law thermodynamics we derive the corrections to the entropy of the black hole. The leading (logarithmic) and non leading corrections to the area law are obtained.Comment: 8 pages. Corrected references

PT-symmetry and supersymmetry: interconnection of broken and unbroken phases

The broken and unbroken phases of PT and supersymmetry in optical systems are explored for a complex refractive index profile in the form of a Scarf potential, under the framework of supersymmetric quantum mechanics. The transition from unbroken to the broken phases of PT-symmetry, with the merger of eigenfunctions near the exceptional point is found to arise from two distinct realizations of the potential, originating from the underlying supersymmetry. Interestingly, in PT-symmetric phase, spontaneous breaking of supersymmetry occurs in a parametric domain, possessing non-trivial shape invariances, under reparametrization to yield the corresponding energy spectra. One also observes a parametric bifurcation behaviour in this domain. Unlike the real Scraf potential, in PT-symmetric phase, a connection between complex isospecrtal superpotentials and modified Korteweg-de Vries equation occurs, only with certain restrictive parametric conditions. In the broken PT-symmetry phase, supersymmetry is found to be intact in the entire parameter domain yielding the complex energy spectra, with zero-width resonance occurring at integral values of a potential parameter

Coupling parameters and the form of the potential via Noether symmetry

We explore the conditions for the existence of Noether symmetries in the dynamics of FRW metric, non minimally coupled with a scalar field, in the most general situation, and with nonzero spatial curvature. When such symmetries are present we find general exact solution for the Einstein equations. We also show that non Noether symmetries can be found. Finally,we present an extension of the procedure to the Kantowski- Sachs metric which is particularly interesting in the case of degenerate Lagrangian.Comment: 13 pages, no figure